Hamiltonian Graphs: Ore's Theorem